#include<stdio.h>
void hello(char* s){
	printf("Hello %s\n",s);
}
